1

Complexity of intuitionistic propositional logic and its fragments

Year:
2008
Language:
english
File:
PDF, 285 KB
english, 2008
2

Complexity of finite-variable fragments M of EXPTIME-complete logics

Year:
2007
Language:
english
File:
PDF, 271 KB
english, 2007